"Xiao-Shan Gao" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence)

Xiao-Shan Gao, Dongming Wang, Lu Yang

2.80 Mb

#2

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems

Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang

Категория: Cs_Computer science, CsAi_AI, knowledge

3.93 Mb

#3

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems

Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang

Категория: Cs_Computer science, CsAi_AI, knowledge

6.60 Mb

#4

Machine proofs in geometry : automated production of readable proofs for geometry theorems

Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang

8.32 Mb

#5

Computer mathematics : proceedings of the Fourth Asian Symposium (ASCM 2000)

Xiao-Shan Gao; Dongming Wang (eds.)

14.30 Mb

#6

Mathematical Software: Proceedings of the First International Congress of Mathematical Software Beijing, China 17-19 August 2002

Arjeh M. Cohen, Nobuki Takayama, International Congress of Mathematical S, Xiao-Shan Gao, Xiaoshan Gao

Категория: Algorithms

3.87 Mb

#7

Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings

Xiao-Shan Gao, Dongming Wang, Lu Yang

3.32 Mb